Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
661	Evidence-based Audit, Technical Appendix Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Curry–Howard correspondence Symbol Model theory Mathematics Proof theory Group theory
662	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
663	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
664	This Extended Abstract appears in the Proceedings of the 17th International Conference on Practice and Theory in Public-Key Cryptography (PKC ’[removed] – 28 March 2014, Buenos Aires, Argentina) Hugo Krawczyk Ed., Spri Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-24 06:04:31 IP Direct Anonymous Attestation Non-interactive zero-knowledge proof Zero-knowledge proof Information Soundness NP Mathematics Cryptographic protocols Applied mathematics Proof of knowledge
665	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic
666	1 A brief overview of Complexity Theory The following brief overview is intended as a teaser for students in an introductory course on Complexity Theory. Out of the tough came forth sweetness1 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:17 Probabilistic complexity theory Computational complexity theory Mathematical optimization Structural complexity theory NP-complete Complexity NP P versus NP problem Probabilistically checkable proof Theoretical computer science Applied mathematics Complexity classes
667	From Statistical Zero Knowledge to Secret Sharing Vinod Vaikuntanathan∗ MIT CSAIL Prashant Nalini Vasudevan† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-24 23:55:10 Complexity classes Cryptographic protocols Probabilistic complexity theory Zero-knowledge proof Interactive proof system IP NP Secret sharing Randomized algorithm Theoretical computer science Computational complexity theory Applied mathematics
668	Practical Authenticated Pattern Matching with Optimal Proof Size Dimitrios Papadopoulos Charalampos Papamanthou Add to Reading List Source URL: www.vldb.org Language: English - Date: 2015-02-15 22:06:23 Computer programming Tree traversal Suffix tree Pattern matching Rope XQuery B-tree Computing Graph theory Binary trees
669	3 Proof of the complexity We shall show the second loop terminates early. Namely r can be taken in polynomial order. Add to Reading List Source URL: matha.e-one.uec.ac.jp Language: English - Date: 2011-07-06 20:43:50 Finite fields Integer sequences Prime number AKS primality test Miller–Rabin primality test Binary logarithm Primality certificate Prime gap Mathematics Primality tests Number theory
670	Using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Andrew Ireland, Gudmund Grov, Leo Freitas, Andrius Velykis & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Logical syntax Mathematical logic Formal methods Proof theory Rippling Mathematical proof Formal proof IP Theorem Logic Mathematics Automated theorem proving

UPDATE